Inhalt des Dokuments

Abgeschlossene Arbeiten

A Locally Nameless Theory of Objects - Repräsentation gebundener Variablen in Isabelle/HOL

Montag, 10. Dezember 2018

Erstgutachter/-in: Prof. Dr.-Ing. Uwe Nestmann
Zweitgutachter/-in: Prof. Dr. Florian Kammüller (Middlesex University)

Lutz, Bianca

---